Integer program with bimodular matrix
نویسندگان
چکیده
منابع مشابه
Integer program with bimodular matrix
Let A be an m × n integral matrix of rank n. We say that A is bimodular if the maximum of the absolute values of the n×n minors is at most 2. We give a polynomial time algorithm that finds an integer solution for system Ax ≤ b. A polynomial time algorithm for integer program max{cx : Ax ≤ b} is constructed proceeding on some assumptions.
متن کامل1 5 M ay 2 00 8 Integer program with bimodular matrix
We use the following notation: if A is a matrix, A i denotes its i-th row, a i,j is the entry at row i and column j, ∆ k (A) is the maximum of the absolute values of the k × k minors of A; if b is a vector then b i denotes its i-th coordinate. Let ⌊α⌋ denote the largest integer less than or equal to α. The transpose of a matrix A is denoted by A T. We say that A ∈ Z m×n is bimodular if rank A =...
متن کاملProgram Analysis with Presburger Integer Formulae
A procedure employing Presburger integer formulae for a constraint style program analysis is described. Presburger integer constraints are used to locate dead code fragments in a style similar to conditional constant propagation after conversion to a form similar to SSA. Then, an algorithm for proving strong loop termination is presented based on the generation of constraints on the program in ...
متن کاملRandom Matrix Theory with Non - integer β
We show that the random matrix theory with non-integer " symmetry parameter " β describes the statistics of transport parameters of strongly disordered two dimensional systems. The application of the random matrix theory (RMT) [1] to electronic transport in weakly disordered systems [2] enables us to understand the main features of the transport. The small number of parameters which enters RMT ...
متن کاملdeterminant of the hankel matrix with binomial entries
abstract in this thesis at first we comput the determinant of hankel matrix with enteries a_k (x)=?_(m=0)^k??((2k+2-m)¦(k-m)) x^m ? by using a new operator, ? and by writing and solving differential equation of order two at points x=2 and x=-2 . also we show that this determinant under k-binomial transformation is invariant.
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Optimization
سال: 2009
ISSN: 1572-5286
DOI: 10.1016/j.disopt.2008.12.002